﻿// 208. 开关问题.cpp : 此文件包含 "main" 函数。程序执行将在此处开始并结束。
//

/*

https://www.acwing.com/problem/content/210/

有 N 个相同的开关，每个开关都与某些开关有着联系，每当你打开或者关闭某个开关的时候，其他的与此开关相关联的开关也会相应地发生变化，
即这些相联系的开关的状态如果原来为开就变为关，如果为关就变为开。

你的目标是经过若干次开关操作后使得最后 N 个开关达到一个特定的状态。

对于任意一个开关，最多只能进行一次开关操作。

你的任务是，计算有多少种可以达到指定状态的方法。（不计开关操作的顺序）

输入格式
输入第一行有一个数 K，表示以下有 K 组测试数据。

每组测试数据的格式如下：

第一行：一个数 N。

第二行：N 个 0 或者 1 的数，表示开始时 N 个开关状态。

第三行：N 个 0 或者 1 的数，表示操作结束后 N 个开关的状态。

接下来每行两个数 I,J，表示如果操作第 I 个开关，第 J 个开关的状态也会变化。

每组数据以 0 0 结束。

输出格式
每组数据输出占一行。

如果有可行方法，输出总数，否则输出 Oh,it's impossible~!! 。

数据范围
1≤K≤10,
0<N<29
输入样例：
2
3
0 0 0
1 1 1
1 2
1 3
2 1
2 3
3 1
3 2
0 0
3
0 0 0
1 0 1
1 2
2 1
0 0
输出样例：
4
Oh,it's impossible~!!

*/


#include <iostream>
#include <cstring>

using namespace std;

const int N = 30;
int a[N][N];
int T; int n;

int gauss()
{
    int c, r;
    for (c = 0, r = 0; c < n; c++)
    {
        int t = r;
        for (int i = r; i < n; i++)
            if (a[i][c])
                t = i;

        if (!a[t][c]) continue;

        for (int i = c; i <= n; i++) swap(a[r][i], a[t][i]);
        for (int i = r + 1; i < n; i++)
            if (a[i][c])
                for (int j = n; j >= c; j--)
                    a[i][j] ^= a[i][c] & a[r][j];

        r++;
    }
    int ret = 1;
    if (r < n)
    {
        for (int i = r; i < n; i++) {
            if (a[i][n]) {
                cout << "Oh,it's impossible~!!" << endl;
                return -1;
            }
            ret <<= 1;
        }

        cout << ret << endl;
        return 2;
    }

    for (int i = n - 1; i >= 0; i--)
        for (int j = i + 1; j < n; j++)
            a[i][n] ^= a[i][j] * a[j][n];
    cout << 1 << endl;
    return 0;
}


void solve() {
    cin >> n;
    memset(a, 0, sizeof a);
    for (int i = 0; i < n; i++) {
        cin >> a[i][n];
    }
    for (int i = 0; i < n; i++) {
        int t; cin >> t;
        a[i][n] ^= t;
    }
    int t, k;
    while (cin >> t >> k) {
        if (t == 0 && k == 0) break;
        t--; k--;
        a[k][t] = 1;
    }
    for (int i = 0; i < n; i++) {
        a[i][i] = 1;
    }


    gauss();
}

int main()
{
    cin >> T;

    while (T--) {
        solve();
    }


    return 0;
}

